Validated Finite Element porn